q < Xo
Xo < Xl
Xl < Xj
Xj < X1
Xm + 5 <= Xj
